#formalización de problemas